1. <A> Roadmap for Formal Property Verification
پدیدآورنده: \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
4. A roadmap for formal property verificatio
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification
رده :
TK
,
7874
.
58
,.
D37
,
2006
5. A roadmap for formal property verification
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification
رده :
TK
7874
.
58
.
D37
2006
6. A roadmap for formal property verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Integrated circuits ; Verification. ;
7. ASIC and EPGA verification: a guide to component modeling
پدیدآورنده: Munden, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Application specific integrated circuits,، Field programmable gate arrays
رده :
TK
7874
.
6
.
M85
2005
8. ASIC and FPGA Verification
پدیدآورنده: \ Richard Munden
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Application specific integrated circuits,مدار مجتمع کاربرد - ویژه
رده :
E-Book
,
9. ASIC and FPGA verification
پدیدآورنده: / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Application specific integrated circuits
رده :
E-BOOK
10. ASIC and FPGA verification
پدیدآورنده: / Richard Munden
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Application specific integrated circuits.
رده :
TK
,
7874
.
6
,.
M86
,
2005
11. ASIC and FPGA verification
پدیدآورنده: / Richard Munden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
12. ASIC and FPGA verification
پدیدآورنده: / Richard Munden
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
13. ASIC and FPGA verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Application specific integrated circuits. ;
14. ASIC and FPGA verification
پدیدآورنده: / Richard Munden
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Application specific integrated circuits
رده :
TK
7874
.
6
.
M86
2005
15. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده: Munden, Richard
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Application specific integrated circuits
رده :
TK
7874
.
M86
16. ASIC and FPGA verification : a guide to component modeling
پدیدآورنده: Richard Munden
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M96A8
17. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده: Munden, Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M86
2005
18. Abstraction refinement for large scale model checking
پدیدآورنده: / Chao Wang, Gary D. Hachtel, Fabio Somenzi
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model
رده :
QA
76
.
76
.
V47W36
2006
19. Abstraction refinement for large scale model checking
پدیدآورنده: Wang, Chao
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
20. Advanced Information Processing :
پدیدآورنده: edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
